How Formula Rearrangement Works